1. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
2. DevOps [دوآپس] برای همه
پدیدآورنده : / نویسنده امیلی فریمن,عنوان اصلی:Devops for dummies.,فریمن,Freeman
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : نرمافزار,Computer software,نرمافزار,Software engineering, -- تولید, -- Development, -- مهندسی,a03,a03,a01,a01
رده :
QA
۷۶
/
۷۶
/
ت
۹
ف
۴ ۱۴۰۲
3. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
4. Fundamentals of Software Engineering.
پدیدآورنده : \ Mehdi Dastani , Marjan Sirjani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Software engineering -- Congresses.,Programming Techniques.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
F8
2015
E-Book
,
5. Hardware and software
پدیدآورنده : \ Nir Piterman (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,Software engineering,کامپیوتر,شبکه‌های کامپیوتری,نرمافزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,
6. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
7. Software Architect Bootcamp
پدیدآورنده : \ Raphael Malveau, Thomas J. Mowbray.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Computer architecture,نرمافزار,کامپیوترها, -- مهندسی, -- ساختار,a03,a04,a03,a04
رده :
E-Book
,
8. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Artificial intelligence,نرمافزار,هوش مصنوعی,-- Congresses,-- Congresses,-- کنگره‌ها,-- کنگره‌ها, -- مهندسی,a03,a04,a03,a04
رده :
E-Book
,
9. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
رده :
E-Book
,
10. اثر ساختگاه بر رفتار لرزه‌ای زمین و سازه‌های ژئوتکنیکی (روش‌های تحلیل و طراحی کاربردی همراه با آموزش نرم‌افزارها)
پدیدآورنده : / نگارندگان علی کمک‌پناه، آیلین نوری,کمک‌پناه
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : زلزله,Earthquake engineering,خاک ,Soil dynamics,زلزله,Earthquake engineering, -- نرمافزار, -- Software, -- مهندسی, -- دینامیک , -- مهندسی,a01,a01,a02,a02,a03,a03
رده :
TA
۶۵۴
/
۶
/
ک
۸
الف
۲
11. آزمایشگاه نرمافزار
پدیدآورنده : / تالیف و تدوین ناصر مدیری٬ نفیسه فارغ زاده.,مدیری
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : نرمافزار,Software engineering,مهندسی سیستم‌ها,Systems engineering, -- راهنمای آموزشی (عالی), -- Study and teaching (Higher),a01,a02
رده :
QA
۷۶
/
۷۵۸
/
م
۴
آ
۴
12. آزمون کارایی نرمافزار
پدیدآورنده : / مولفان سعید پارسا، مجتبی رمضان‌زاده.,پارسا
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : نرمافزار,Software engineering,مهندسی سیستم‌ها,Systems engineering,طراحی سیستم,System design, -- مهندسی, -- ارزشیابی, -- Evaluation,a06,a08,a10
رده :
QA
۷۶
/
۷۵۸
/
پ
۲
آ
۴
13. اصول مهندسی نرمافزار
پدیدآورنده : / علیرضا شاملی‌سندی.,شاملی سندی
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : نرمافزار,Software engineering, -- مهندسی,a01,a01
رده :
۰۰۵
/
۱
ش
۲۱۵
الف
۱۴۰۰
14. آموزش جامع نرم‌افزارهای کاربردی بیوانفورماتیک
پدیدآورنده : / تاليف و گردآوری محمود غلامی...[و دیگران],تالیف و گردآوری محمود غلامی، مريم فتح‌الهی، سمانه بوربور، زهرا اعتمادی‌فر، سروش سرداری.
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : ژنتیک,Genetic engineering,زیست‌شناسی مولکولی,Molecular biology,زیست‌انفورماتیک,Bioinformatics, -- نرمافزار, -- Software, -- مهندسی,a07,a06,a06,a08
رده :
QH
۴۴۲
/
آ
۸
15. آموزش نرمافزار FLAC 3D با استفاده از مثال‌های کاربردی
پدیدآورنده : / تالیف میلاد ظاهری، نیما رحیم‌پور.,پشت جلد به انگلیسی: Milad Zaheri, Nima Rahimpour. A guide to FLAC3D software: based on practical examples.,ظاهری
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : مهندسی سازه,Structural engineering,تحلیل سازه,Structural analysis (Engineering), -- نرمافزار, -- Software, -- نرمافزار, -- Software,a01,a01,a02,a02
رده :
TA
۶۴۱
/
ظ
۲
آ
۸ ۱۴۰۱
16. انسیس فلوئنت مقدماتی برای حرفه‌ای‌ها
پدیدآورنده : / مولف مهدی دادخواه‌تهرانی,دادخواه
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : انسیس (سیستم کامپیوتری),ANSYS (Computer system),مهندسی احتراق,Combustion engineering, -- نرمافزار, -- Software,a01,a01,a02,a02
رده :
۶۲۰
/
۰۰۲۸۵۵۳۶
د
۱۴۴
الف
۱۳۹۸
17. ایمنی و قابلیت اطمینان نرمافزار
پدیدآورنده : / نویسندگان شهرزاد اویسی، رضا روانمهر.,اویسی
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : نرمافزار,Computer software,اطمینانپذیری (مهندسی),Reliability (Engineering), -- اطمینانپذیری., -- Reliability,a06,a08
رده :
QA
۷۶
/
۷۶
/
الف
۶
الف
۸
18. برنامه نویسی کاربردی در نرم افزار سالیدورکس
پدیدآورنده : / تالیف قاسم اعظمی راد، مصطفی فلاحی، بهروز آرزو.,پشت جلد به انگلیسی: Gh. Azamirad, M. Fallahi, B. Arzoo. Applied programming in Solid works.
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : طراحی به کمک کامپیوتر,Computer - aided design,طراحی مهندسی,Engineering design, -- نرمافزار, -- Software, -- نرمافزار, -- Software,a01,a01,a02,a02
رده :
T
۳۸۵
/
الف
۶
ب
۴ ۱۴۰۱
19. راهنمای کاربردی نرمافزار3 DATAMINE Studio با رویکرد طراحی معادن روباز
پدیدآورنده : / نیما کریم، فاطمه جلالی.,پشت جلد به انگلیسی: Nima Karimi, Fateme Jalali. A practical guideline; open pit mine design in Datamine studio.,کریم
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : مهندسی معدن,Mining engineering,زمین‌شناسی مهندسی,Engineering geology, -- نرمافزار, -- Software, -- نرمافزار, -- Software,a01,a01,a02,a02
رده :
TN
۱۵۳
/
ک
۴
ر
۲ ۱۳۹۹
20. روش‌های محاسباتی در مدلسازی مهندسی آب با استفاده از نرمافزار MATLAB
پدیدآورنده : / تاليف: محمد شايان‌نژاد.,ص. ع. به انگلیسی: Mohammad Shayannejad, Computational methods in modeling of water engineering ...,شایان‌نژاد
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : متلب,MATLAB,آب,Hydraulic engineering,آب,Hydraulic engineering, -- نرمافزار, -- Software, -- مهندسی, -- داده‌پردازی, -- Data processing,a06,a08
رده :
TC
۱۵۷
/
۸
/
ش
۲
ر
۹
